Buy Used and New Rolf Drechsler Books

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by Nils Przigoda, Robert Wille, Judith Przigoda

ISBN 13: 9783319728131

Format: Hardcover (268 pages)
Publisher: Springer
Published: 31 Jan 2018

Save for later

Advanced Formal Verification

by Rolf Drechsler

ISBN 13: 9781402077210

Format: Illustrated (280 pages)
Publisher: Springer
Published: 31 Jan 2004

Save for later

Formal Verification of Circuits

by Rolf Drechsler

ISBN 13: 9781441949851

Format: Paperback (192 pages)
Publisher: Springer US
Published: 19 Feb 2010

Save for later

Formal System Verification: State-of the-Art and Future Trends

by Rolf Drechsler

ISBN 13: 9783319862231

Format: Paperback (200 pages)
Publisher: Springer
Published: 10 Aug 2018

Save for later

Evolutionary Algorithms for Embedded System Design: 10 (Genetic Algorithms and Evolutionary Computation)

by Rolf Drechsler, Nicole Drechsler

ISBN 13: 9781402072765

Format: Hardcover (212 pages)
Publisher: Springer
Published: 30 Nov 2002

Save for later

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

by Rolf Drechsler, Mathias Soeken

ISBN 13: 9783030203252

Format: Paperback (273 pages)
Publisher: Springer
Published: 14 Aug 2020

Save for later

In-Memory-Computing: Synthese und Optimierung

by Saeideh Shirinzadeh, Rolf Drechsler

ISBN 13: 9783031228780

Format: Hardcover (132 pages)
Publisher: Springer Vieweg
Published: 08 Jun 2023

Save for later

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

by Sebastian Huhn, Rolf Drechsler

ISBN 13: 9783031453182

Format: Hardcover (201 pages)
Publisher: Springer Vieweg
Published: 03 Jan 2024

Save for later

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

by Mehran Goli, Rolf Drechsler

ISBN 13: 9783030442811

Format: Hardcover (187 pages)
Publisher: Springer
Published: 05 May 2020

Save for later

Design Automation for Field-coupled Nanotechnologies

by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler

ISBN 13: 9783030899516

Format: Hardcover (209 pages)
Publisher: Springer
Published: 11 Jan 2022

Save for later

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

by Vladimir Herdt, Daniel Große, Rolf Drechsler

ISBN 13: 9783030548278

Format: Hardcover (268 pages)
Publisher: Springer
Published: 15 Oct 2020

Save for later

Erweiterte virtuelle Prototypen für heterogene Systeme

by Hassan, Muhammad Muhammad Hassan, Daniel Große, Rolf Drechsler,

ISBN 13: 9783031531514

Format: hardcover
Publisher: Springer Vieweg

Save for later